WITH Ada.Strings.Unbounded;
WITH Test_Cases_Petrinet;
WITH Test_Properties;
WITH Test_Parser;
WITH Ada.Text_IO;
WITH Unit_Test_Assertions;


PACKAGE Test_Cases_Mainsuite IS

   -- Incrementer ce champ lors de l'ajout d'une suite de test
   Nombre_De_Suites : Integer := 3;


   PACKAGE Dyn_Str   RENAMES Ada.Strings.Unbounded;
   Test_Error : EXCEPTION;

   -- Tableau pour le nombre de test realises par phase
   TYPE TabOfNbTest    IS ARRAY (1 .. Nombre_De_Suites)      OF Integer;

   -- Tableau pour le nombre d'erreur par phase
   TYPE TabOfNbError IS ARRAY (1 .. Nombre_De_Suites) OF Integer;

   -- Tableau pour les noms des suites de tests
   TYPE TabOfName    IS ARRAY (1 .. Nombre_De_Suites)      OF Dyn_Str.Unbounded_String;

   nbTest : TabOfNbTest;
   nbError : TabOfNbError;
   names : TabOfName;


   PROCEDURE Set_Up;

   PROCEDURE Run ;

   PROCEDURE Tear_Down ;


END Test_Cases_Mainsuite;
